Data-flow analysis - PDFSEARCH.IO - Document Search Engine

Data-flow analysis
Results: 379

#	Item
361	EVERY THREAD COUNTS ANNUAL REPORT 2013 FINANCIAL HIGHLIGHTS IFRS (in US$ millions, except per share data and ratios) Add to Reading List Source URL: www1.gildan.com Language: English - Date: 2013-12-23 16:30:23 Financial statements Cash flow Generally Accepted Accounting Principles Fundamental analysis Management accounting International Financial Reporting Standards Financial ratio Gildan Activewear Free cash flow Accountancy Finance Business
362	Flow Analysis for Verifying Properties of Concurrent Software Systems MATTHEW B. DWYER University of Nebraska Lincoln LORI A. CLARKE and JAMIESON M. COBLEIGH University of Massachusetts Amherst Add to Reading List Source URL: laser.cs.umass.edu Language: English - Date: 2008-09-29 10:52:38 Mathematics Formal methods Logic in computer science Models of computation Model checking Finite-state machine Formal verification Data-flow analysis Sequence Theoretical computer science Automata theory Applied mathematics
363	Refinement-based CFG Reconstruction from Unstructured Programs ⋆ S´ebastien Bardin, Philippe Herrmann, and Franck V´edrine CEA, LIST, Gif-sur-Yvette CEDEX, 91191 France [removed] Add to Reading List Source URL: sebastien.bardin.free.fr Language: English - Date: 2010-11-03 04:48:26 Data-flow analysis Valuation
364	Detecting Software Defects in Telecom Applications Through Lightweight Static Analysis: A War Story Tobias Lindahl and Konstantinos Sagonas Add to Reading List Source URL: user.it.uu.se Language: English - Date: 2004-08-30 16:31:24 Erlang programming language Ericsson Erlang Cross-platform software Procedural programming languages Type system Open Telecom Platform Bytecode Data-flow analysis Computing Software engineering Computer programming
365	Modelling ecological flow regime: an example from the Tennessee and Cumberland River basins Add to Reading List Source URL: tn.water.usgs.gov Language: English - Date: 2012-01-04 10:09:19 Regression analysis Econometrics Hydraulic engineering Discharge Linear regression Stream gauge Standard deviation Streamflow Baseflow Statistics Hydrology Data analysis
366	Iterative Data-flow Analysis, Revisited Keith D. Cooper, Timothy J. Harvey, and Ken Kennedy Department of Computer Science Add to Reading List Source URL: www.cs.rice.edu Language: English - Date: 2004-01-21 11:38:03 Search algorithms Network flow Data-flow analysis Depth-first search Algorithm Tree traversal Connectivity Static single assignment form Flow network Graph theory Mathematics Combinatorics
367	This paper is a revised version of a submission to ICFP’10. Please refer to the version by the four words in the footer after MD5:. Hoopl: A Modular, Reusable Library for Add to Reading List Source URL: research.microsoft.com Language: English - Date: 2010-04-06 10:37:26 Static single assignment form Data-flow analysis Depth-first search Graph Antiderivative Graph operations Path decomposition Topology Graph theory Mathematics Compiler construction
368	LNCS[removed]Configurable Software Verification: Concretizing the Convergence of Model Checking and Program Analysis Add to Reading List Source URL: www.sosy-lab.org Language: English - Date: 2013-10-11 06:59:10 Algorithm Data-flow analysis Abstraction Predicate Type system Mathematics Linguistics Function
369	A UNIFIED APPROACH TO GLOBAL PROGRAM OPTIMIZATION Add to Reading List Source URL: pdf.aminer.org Language: English - Date: 2011-10-18 12:13:04 Compiler construction Static single assignment form Data-flow analysis Mathematical optimization Function Search algorithms Centrality Tree decomposition Mathematics Graph theory Operations research
370	A Comparative Analysis of TCP Tahoe, Reno, New-Reno, SACK and Vegas Add to Reading List Source URL: www-inst.eecs.berkeley.edu Language: English - Date: 2005-10-26 18:29:14 Network performance Data Flow control TCP congestion avoidance algorithm Transmission Control Protocol Slow-start TCP Vegas Internet protocols Internet standards TCP/IP Network architecture Computing

UPDATE